منابع مشابه
Safety Automata Network for Interlocking System
The paper presents a novel model for interlocking system. Current construction of interlocking system is based on double channel fault-tolerance and fail-safe structure implemented into one or two rack-mounted devices. Field elements like switches and signals received commands and power supply via separate cable network. This solution is expensive and the reason for this fact is price for cable...
متن کاملModel-in-the-Loop Testing of a Railway Interlocking System
Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of softwareintensive systems. As they can reduce costs, and ease the certification process as well, they are attractive also in safety-critical domains. We present an approach for Model-in-the-loop testing within an OMG-based model-driven process, aimed at supporting system V&V ac...
متن کاملA Centralised Interlocking System for Low-density Line Signalling with a Predictive Monitoring System
The methods adopted to provide cost effective signalling systems for the low-density lines have evolved over many years. In Japan, a typical conventional signalling system for single lines consists of three kind of equipment: centralised traffic control (CTC) equipment at the control centre and each station where an interlocking equipment is also located with a single line signalling equipment....
متن کاملApplied Bounded Model Checking for Interlocking System Designs
In this article the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1) verification of static semantics, and (2) verification of behavioural (operational) semantics. The former checks that the plant model – that is, the softw...
متن کاملTowards the Safety Properties of Moving Block Railway Interlocking System
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing collision and derailing of trains at th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Anaesthetists’ Society Journal
سال: 1983
ISSN: 0008-2856,1496-8975
DOI: 10.1007/bf03015238